De la sémantique pragmatique au contextualisme

Structuration sémantique de la réglementation

In this paper, we address the problems caused by changes in the regulations on the legal corpus and its calculative implementations. From the ontology of law suggested by R. van Kralingen, we construct a generic document structure, which renders explicit the semantics of legal documents. These are represented in a sufficiently fine and rigorous way to link together documents belonging to distin...

Ontologie de la Sémantique de l'Annotation Pédagogique de l'Apprenant

Résumé. Cet article vise à définir une ontologie de la sémantique des annotations de l’apprenant afin de la réutiliser dans un outil d’annotation pédagogique. L’ensemble des annotations créées par l’apprenant avec cet outil, constitue une mémoire pédagogique pour ‘l’apprenant. Nous commençons par définir les concepts de mémoire externe et d’annotation de l’apprenant et nous définissons ensuite ...

Faire parler les données de la recherche grâce au Web sémantique : le projet VIVO

VIVO is an open source tool from semantic web technologies, used to identify and characterize the research activity of an institution. It allows the reuse of information or data existing in several external reference bases and different bibliographic databases. The aim is to collect and use four sets of relevant data on research activity: research structures, authors, research outputs and means...

Contributions à la sémantique de la programmation logique

This work can be split in two parts. First, we present a full formalisation of the semantics of de nite programs, in the calculus of inductive constructions. For this, we describe a formalisation of the proof of rst order terms uni cation obtained from a similar proof dealing with quasi-terms, thus showing in a general setting how partial functions can be considered in a system with total funct...

Epizootologie et Prophylaxie de la Fièvre Aphteuse au Moyen-Orient